Nuprl Lemma : assert_of_eq_int_rw
13,42
postcript
pdf
x
,
y
:
. {(
(
x
=
y
))
(
x
=
y
)}
latex
Up
bool
1
,
bool
1
Definitions
{
T
}
Lemmas
assert
of
eq
int
origin
x, y:
. {(
(x =
y)) 
(x = y)} x, y:. {((x = y)) (x = y)}